2021. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
2022. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
پدیدآورنده : Linsky, Bernard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
2023. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S755
1977
2024. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
S755
2025. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
2026. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
2027. The foundations of mathematics and other logical essays.
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
2028. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
2029. The grammar of mathematic
پدیدآورنده : Durst, Lincoln K., ]by[ Lincoln K. Durst
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
2030. The grammar of mathematics
پدیدآورنده : Durst, Lincoln K
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
2031. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
2032. The language of logic
پدیدآورنده : Freudenthal, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
F7513
2033. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
2034. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
2035. The limits of science; outline of logic and of the methology of the exact science
پدیدآورنده : / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
2036. The logic book /
پدیدآورنده : Merrie Bergmann, James Moor, Jack Nelson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Predicate (Logic)
رده :
BC135
.
B435
2009
2037. The logic book
پدیدآورنده : Bergmann, Merrie.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Prediction )Logic(
رده :
BC
135
.
B435
2009
2038. The logic book /
پدیدآورنده : Merrie Bergmann, James Moor, Jack Nelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
رده :
BC135
.
B435
2003
2039. The logic of Infinity /
پدیدآورنده : Barnaby Sheppard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
2040. The logic of chance
پدیدآورنده : Venn, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
رده :
BC
141
.
V4
1962
